completeness of R^n